python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py rabin.80.jani -c ../probfd-qcomp19/jani-to-ppddl/config_rabin.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py rabin.80-domain.ppddl rabin.80-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Parsing...
Parsing: [1.480s CPU, 1.468s wall-clock]
Normalizing task... [0.060s CPU, 0.067s wall-clock]
Instantiating...
Generating Datalog program... [0.140s CPU, 0.134s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [2.320s CPU, 2.324s wall-clock]
Preparing model... [1.690s CPU, 1.690s wall-clock]
Generated 64481 rules.
Computing model...
----------
Computation aborted after 1801.4552128314972 seconds since the total time limit of 1800 seconds was exceeded.